package typechecker.ast.term;

import typechecker.ast.InductiveDatatype;


public class DataConstructor extends TermVariable{
	private InductiveDatatype idt;
	
	public DataConstructor(String name) {
		super(name);
	}
	
	public void setIdt(InductiveDatatype idt) {
		this.idt = idt;
	}
	
	public InductiveDatatype getIdt() {
		return idt;
	}
}
